A mass problem is a set of Turing oracles. If P and Q are mass problems, we say that P is weakly reducible to Q if every member of Q Turing computes a member of P. We say that P is strongly reducible to Q if every member of Q Turing computes a member of P via a fixed Turing functional. The weak degrees and strong degrees are the equivalence classes of mass problems under weak and strong reducibility, respectively. We (...) focus on the countable distributive lattices P w and P s of weak and strong degrees of mass problems given by nonempty Π 1 0 subsets of 2 ω . Using an abstract Gödel/Rosser incompleteness property, we characterize the Π 1 0 subsets of 2 ω whose associated mass problems are of top degree in P w and P s , respectively. Let R be the set of Turing oracles which are random in the sense of Martin-Löf, and let r be the weak degree of R. We show that r is a natural intermediate degree within P w . Namely, we characterize r as the unique largest weak degree of a Π 1 0 subset of 2 ω of positive measure. Within P w we show that r is meet irreducible, does not join to 1, and is incomparable with all weak degrees of nonempty thin perfect Π 1 0 subsets of 2 ω . In addition, we present other natural examples of intermediate degrees in P w . We relate these examples to reverse mathematics, computational complexity, and Gentzen-style proof theory. (shrink)

Let CKDT be the assertion that for every countably infinite bipartite graph G, there exist a vertex covering C of G and a matching M in G such that C consists of exactly one vertex from each edge in M. (This is a theorem of Podewski and Steffens [12].) Let ATR0 be the subsystem of second-order arithmetic with arithmetical transfinite recursion and restricted induction. Let RCA0 be the subsystem of second-order arithmetic with recursive comprehension and restricted induction. We show that (...) CKDT is provable in ART0. Combining this with a result of Aharoni, Magidor, and Shore [2], we see that CKDT is logically equivalent to the axioms of ATR0, the equivalence being provable in RCA0. (shrink)

We examine the concept of almost everywhere domination from the viewpoint of mass problems. Let AED and MLR be the sets of reals which are almost everywhere dominating and Martin-Löf random, respectively. Let b1, b2, and b3 be the degrees of unsolvability of the mass problems associated with AED, MLR × AED, and MLR ∩ AED, respectively. Let [MATHEMATICAL SCRIPT CAPITAL P]w be the lattice of degrees of unsolvability of mass problems associated with nonempty Π01 subsets of 2ω. Let 1 (...) and 0 be the top and bottom elements of [MATHEMATICAL SCRIPT CAPITAL P]w. We show that inf, inf, and inf belong to [MATHEMATICAL SCRIPT CAPITAL P]w and 0 < inf < inf < inf < 1. Under the natural embedding of the recursively enumerable Turing degrees into [MATHEMATICAL SCRIPT CAPITAL P]w, we show that inf and inf but not inf are comparable with some recursively enumerable Turing degrees other than 0 and 0′. In order to make this paper more self-contained, we exposit the proofs of some recent theorems due to Hirschfeldt, Miller, Nies, and Stephan. (shrink)

Most clinicians take for granted a simple, reductionist understanding of medical knowledge that is at odds with how they actually practice medicine; routine medical decisions incorporate more complicated kinds of information than most standard accounts of medical reasoning suggest. A better understanding of the structure and function of knowledge in medicine can lead to practical improvements in clinical medicine. This understanding requires some familiarity with epistemology, the study of knowledge and its structure, in medicine. Michael Polanyi's theory of tacit knowing (...) is advanced as the basis for developing a more accurate understanding of medical knowledge. Tacit knowing, which explores the taken-for-granted background knowledge that underlies all human knowing, is explained in detail with a focus on its relevance for clinical medicine. The implications of recognizing tacit knowing in medicine and medical decisions are discussed. These include the ability to explain the importance of the clinical encounter in medical practice, mechanisms for analysing patient and doctor as persons, and the need for humility given the uncertainty that the tacit dimension injects into all medical decisions. This more robust medical epistemology allows clinicians to better articulate the nature and importance of patient-centred care, to avoid pitfalls inherent in reductionist approaches to medical knowledge, and to think more clearly about the relationships between medicine and health care at the individual and population levels. (shrink)

Stephen Salkever shows that reading Aristotle is a starting point for discussing contemporary political problems in new ways that avoid the opposition between liberal individualism and republican communitarianism, between the politics of rights and the politics of virtues. Originally published in 1990. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in (...) durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

A well known fact is that every Lebesgue measurable set is regular, i.e., it includes an F$_{\sigma}$ set of the same measure. We analyze this fact from a metamathematical or foundational standpoint. We study a family of Muchnik degrees corresponding to measure-theoretic regularity at all levels of the effective Borel hierarchy. We prove some new results concerning Nies's notion of LR-reducibility. We build some $\omega$-models of RCA$_0$which are relevant for the reverse mathematics of measure-theoretic regularity.

1. It is noteworthy that scholarly interest in the history of the period leading up to the Elementary Education Act of 1870 (henceforward the 1870 Act) and its aftermath, particularly its religious...

By , we denote the system of second-order arithmetic based on recursive comprehension axioms and Σ10 induction. is defined to be plus weak König's lemma: every infinite tree of sequences of 0's and 1's has an infinite path. In this paper, we first show that for any countable model M of , there exists a countable model M′ of whose first-order part is the same as that of M, and whose second-order part consists of the M-recursive sets and sets not (...) in the second-order part of M. By combining this fact with a certain forcing argument over universal trees, we obtain the following result : if proves X!Y with arithmetical, so does . We also discuss several improvements of this results. (shrink)

An examination of verbal hallucinations and thought insertion as examples of "alienated self-consciousness.".

The authors explore how urban versus rural community location shapes the extent to which various individual, relational, and structural factors affect the gender gap in small business success. Building on previous research on gender and small business success, gender queuing theories, and gendered organization/institution theories, they develop a place-specific theory of the gender gap in small business success. The findings, based on small business data collected in urban and rural Iowa, support queuing arguments and raise questions about the effectiveness of (...) crowded-sector explanations. They indicate that the gender gap in small business success operates such that men-owned businesses are more successful in both urban and rural settings but that men-owned businesses are even more successful than women-owned businesses in urban than rural communities. The authors discuss the causes and consequences of the gender gap in small business success in rural and urban places and identify key issues for further research. (shrink)

The increased recognition and reported prevalence of autism spectrum disorders combined with the associated societal and clinical impact call for a broad grassroots community-based dialogue on treatment related ethical and social issues. In these Stony Brook Guidelines, which were developed during a full year of community dialogue with affected individuals, families, and professionals in the field, we identify and discuss topics of paramount concern to the ASD constituency: treatment goals and happiness, distributive justice, managing the desperate hopes for a cure, (...) sibling responsibilities, intimacy and sex, diagnostic ethics, and research ethics. The members of the dialogue core committee included doctors, ethicists, administrators, social workers, ministers, disability experts, and many family members of individuals with autism who were especially engaged in community activities on behalf of their constituency, including siblings, parents, and grandparents. Our guidelines are not based on “top-down” imposition of professional expertise, but rather on a “bottom-up” grass roots attention to the voices of affected individuals and families speaking from experience. These guidelines can inform clinical practice, but they also are meaningful for the wider social conversation emerging over the treatment of individuals with ASD. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Commentary on “Free Will in the Light of Neuropsychiatry”G. Lynn Stephens (bio)A necessary condition of our having free will is that we initiate some of our actions by our own will or decision. Spence argues that, in light of certain empirical findings, we can accept that willing causes action, only if we acknowledge that willing is a non-conscious phenomenon. “If the notion of free will is retained... it will (...) be a free will which is essentially non-conscious.... [A] conscious free will (in the sense of consciousness initiating action) is incompatible with the evidence....” I shall argue that Spence’s conclusion depends upon a highly questionable understanding of what it is for a decision to be conscious.The evidence to which Spence refers above comes from experimental studies by Libet. This work suggests that, at least for simple motor performances, we become aware of willing the action only after the act has been initiated. This raises the possibility that our subjective experience of willing an action generally follows rather than precedes initiation of the relevant act and, hence, does not cause that action.What does all this entail concerning the causal efficacy of willing or deciding? Spence carefully refrains from drawing the conclusion that decisions never cause actions. Rather he concludes that “conscious decisions do not cause acts.... “Our decision or freedom is illusory (if by these terms we mean conscious phenomena).” We can continue to maintain that our decisions sometimes initiate actions, but only provided that we regard our decisions as non-conscious.In order to evaluate the claim that conscious decisions do not cause actions, we need to distinguish two questions: (1) Does my decision, of which I am conscious, cause me to do A? and (2) Does my being conscious of my decision cause me to do A?We might answer (1) in the affirmative, but (2) in the negative. That is, it might be true that my decision to do A caused me to do A and that I was conscious of that decision, but false that my being conscious of my decision caused me to do A. Indeed, we might suppose that, although my decision caused me to do A, I did not become conscious of that decision until after I had done A. How could this be? Suppose that my subjective experience of deciding to do A results from an (internal) perceptual process and that this process takes time. In that case it is possible that, having decided to do A, it requires more time for me to become conscious of that decision than is required for the decision to initiate my doing A. By the time I become aware of my decision, I have already done what I decided to do.The evidence Spence offers is incompatible with the hypothesis that the subjective experience of [End Page 97] my decision to do A causes me to do A, but quite compatible with the hypothesis that my decision to do A, of which I was conscious, caused me to do A. When he expresses his point by saying, “decisions to act arise prior to our consciousness of them,” or “The role of consciousness in volition is not that of initiator,” he is drawing the conclusion warranted by his evidence.However, he goes beyond his evidence when he says, “Thus our decision or freedom is illusory (if by these terms we mean conscious phenomena),” or “Conscious decision do not cause acts.” To justify these conclusions he needs to argue that something counts as a conscious decision only if we become conscious of it at precisely the instant at which it occurs. (Compare: Something counts as an event that we see, only if we begin to see it precisely at the instant at which it occurs.) Absent some defense of this view, a defense provided nowhere in Spence’s paper, we may continue to maintain that conscious decisions do cause actions.Related ArticlesFeature Article: Free Will in the Light of NeuropsychiatryCommentary: Commentary by FrithCommentary: Commentary by LibetCommentary: Commentary by StephensResponse: Response to the CommentariesG. Lynn Stephens G. Lynn Stephens, Ph.D., Department of Philosophy, University of Alabama... (shrink)

The thesis that scientists give greater weight to novel predictions than to explanations of known facts is tested against historical cases in physical science. Several theories were accepted after successful novel predictions but there is little evidence that extra credit was given for novelty. Other theories were rejected despite, or accepted without, making successful novel predictions. No examples were found of theories that were accepted primarily because of successful novel predictions and would not have been accepted if those facts had (...) been previously known. (shrink)

Evolutionary theorists have encountered difficulty in explaining how altruistic behavior can evolve. I argue that these theorists have made this task more difficult than it needs to be by focusing their efforts on explaining how nature could select for a strong type of altruism that has powerful selection forces working against it. I argue that switching the focus to a weaker type of altruism renders the project of explaining how altruism can evolve significantly less difficult. I offer a model of (...) weak altruism that can avoid many of the difficulties that evolutionary accounts of altruism have traditionally faced. (shrink)

The authority of the intact self over the future severely demented self is based on notions of integrity and precedent autonomy. Despite criticism of this authority, the principle of precedent autonomy in the care of people with Alzheimer disease or other progressive and irreversible dementias retains its moral significance.

Science and the End of Ethics examines some of the most important positive and negative implications that science has for ethics. Addressing the negative implications first, author Stephen Morris discusses how contemporary science provides significant challenges to moral realism. One threat against moral realism comes from evolutionary theory, which suggests that our moral beliefs are unconnected to any facts that would make them true. Ironically, many of the same areas of science (e.g. evolutionary biology, neuroscience, psychology) that present difficulties (...) for moral realism point to a new ethical approach that focuses on achieving some of the key practical goals shared by ethicists. Chief among these is how to increase amicable behavior among people. (shrink)

This paper examines Charles Darwin’s idea that language-use and humanity’s unique cognitive abilities reinforced each other’s evolutionary emergence—an idea Darwin sketched in his early notebooks, set forth in his Descent of man , and qualified in Descent’s second edition. Darwin understood this coevolution process in essentially Lockean terms, based on John Locke’s hints about the way language shapes thinking itself. Ironically, the linguist Friedrich Max Müller attacked Darwin’s human descent theory by invoking a similar thesis, the German romantic notion of (...) an identity between language and thought. Although Darwin avoided outright contradiction, when he came to defend himself against Müller’s attacks, he undercut some of his own argumentation in favor of the coevolution idea. That is, he found it difficult to counter Müller’s argument while also making a case for coevolution. Darwin’s efforts in this area were further complicated by British and American writers who held a naturalistic view of speech origins yet still taught that language had been invented by fully evolved homo sapiens, thus denying coevolution. (shrink)

Summary In The Origin of Species, Charles Darwin famously accounted for the lack of fossil evidence in support of species evolution on the grounds that the fossil record is naturally incomplete. This essay examines a similar argument that Darwin applied to his analogy between natural and artificial selection: the scarcity of data about the historical backgrounds of domestic breeds was the natural by-product of an extremely gradual change process. The point was to enhance the ability of the artificial selection analogy (...) to suggest that nature's species had undergone a similar transformation. Darwin did not depend on this negative inference alone, however, for in his writings he included whatever information he could find about the actual histories of particular breeds. A comparison with Darwin's treatment of the fossil record suggests the reasonableness of this combined use of opposite kinds of evidence to establish a single point. The comparison also suggests the unique qualities of negative inference as applied to the breeding analogy. (shrink)

ABSTRACTIn Democratic Reason, Hélène Landemore makes an epistemic argument for democracy. She contends that, due to their greater cognitive diversity, democratic groups will engage in superior deliberation and information aggregation than will groups of experts; consequently, the quality of their policies will be better. But the introduction of value diversity into Landemore's model—which is necessary if the argument is to apply to the real world—undermines her argument for the epistemic superiority of democratic deliberation. First, the existence of value diversity threatens (...) to stop deliberation prematurely. This has the effect of making the outcome of group deliberation more dependent on individual ability, which gives groups of experts a distinct advantage. Second, the introduction of value diversity raises the question of how to understand the standard of correctness of an epistemic argument, which Landemore does not adequately answer. (shrink)

Higher order unification is a way of combining information (or equivalently, solving equations) expressed as terms of a typed higher order logic. A suitably restricted form of the notion has been used as a simple and perspicuous basis for the resolution of the meaning of elliptical expressions and for the interpretation of some non-compositional types of comparative construction also involving ellipsis. This paper explores another area of application for this concept in the interpretation of sentences containing intonationally marked focus, or (...) various semantic constructs which are sensitive to focus.Similarities and differences between this approach, and theories using alternative semantics, structured meanings, or flexible categorial grammars, are described. The paper argues that the higher order unification approach offers descriptive advantages over these alternatives, as well as the practical advantage of being capable of fairly direct computational implementation. (shrink)

The Seventh Annual Conference of the Hegel Society of Great Britain took place on September 12–13, 1985 at Pembroke College, Oxford. The theme of the conference was Hegel’s political philosophy.